The main goal of this thesis is to design and analyze a security protocol for a vulnerable SSO system developed earlier by NISLAB in a previous master thesis and to investigate whether the protocol could enhance the security ...